Larson–Sweedler Theorem, Grouplike Elements and Invertible Modules in Weak Hopf Algebras
نویسنده
چکیده
We extend the Larson–Sweedler theorem for weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We establish the autonomous monoidal category of the modules of a weak Hopf algebra A and show the semisimplicity of the unit and the invertible modules of A. We also reveal the connection of these modules to left/right grouplike elements in the dual weak Hopf algebra Â. E-mail: [email protected] Supported by the Hungarian Research Fund, OTKA – T 034 512
منابع مشابه
Larson–Sweedler Theorem, Grouplike Elements, Invertible Modules and the Order of the Antipode in Weak Hopf Algebras
We extend the Larson–Sweedler theorem for weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We establish the autonomous monoidal category of the modules of a weak Hopf algebra A and show the semisimplicity of the unit and the invertible modules of A. We also reveal the connection of these modules to lef...
متن کاملLarson–Sweedler Theorem and the Role of Grouplike Elements in Weak Hopf Algebras
We extend the Larson–Sweedler theorem [10] to weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We show that the category of modules over a weak Hopf algebra is autonomous monoidal with semisimple unit and invertible modules. We also reveal the connection of invertible modules to left and right grouplik...
متن کاملA ug 2 00 4 The Larson - Sweedler theorem for multiplier Hopf algebras
Any finite-dimensional Hopf algebra has a left and a right integral. Conversely, Larsen and Sweedler showed that, if a finite-dimensional algebra with identity and a comultiplication with counit has a faithful left integral, it has to be a Hopf algebra. In this paper, we generalize this result to possibly infinite-dimensional algebras, with or without identity. We have to leave the setting of H...
متن کاملThe Relative Picard Group of a Comodule Algebra and Harrison Cohomology
Let A be a commutative comodule algebra over a commutative bialgebra H . The group of invertible relative Hopf modules maps to the Picard group of A, and the kernel is described as a quotient group of the group of invertible grouplike elements of the coring A⊗H , or as a Harrison cohomology group. Our methods are based on elementary K-theory. The Hilbert 90 Theorem follows as a corollary. The p...
متن کاملCoalgebras, Hopf Algebras and Combinatorics
In loving memory of my mother " A mathematician is a machine for converting coffee into theorems. " —Alfréd Rényi " A comathematician, by categorical duality, is a machine for converting cotheorems into ffee. " —anonymous Preface Hopf algebras are a relatively new concept in algebra, first encountered by their namesake Heinz Hopf in 1941 in the field of algebraic topology. In the 1960s, study o...
متن کامل